principle of excluded middle

排中律